|
|
|
| e-Pub |
Previous | 
Home
Section: Partnerships and Cooperations
European Initiatives
Collaborations in European Programs, Except FP7 & H2020
ASSUME
Participants : Dumitru Potop-Butucaru, Keryan Didier, Liliana Cucu.
This project is funded by the ITEA3 program. It has started on September 1st 2015. Project coordinator is Daimler. ASSUME has funded the (now completed) post-doc of Raul Gorcitz, and funds the PhD thesis of Keryan Didier.
Future mobility solutions will increasingly rely on smart components that continuously monitor the environment and assume more and more responsibility for a convenient, safe and reliable operation. Currently the single most important roadblock for this market is the ability to come up with an affordable, safe multi-core development methodology that allows industry to deliver trustworthy new functions at competitive prices. ASSUME will provide a seamless engineering methodology, which addresses this roadblock on the constructive and analytic side.
In this project, most our effort goes to work package "Synthesis of Predictable Concurrent Systems", which we lead. Main scientific results of our work in this project have beenn presented in sections 6.11 and 6.12. In addition, we closely interacted with our industrial partners to determine their needs, and developed importer tools for their internal formalisms, including Scade v4 and internal formalisms used at Airbus (all importers were developed jointly with EPI PARKAS). This work also resulted in proposals to Airbus on the specification of certain non-functional properties (e.g. the atomic groups of operations that cannot be split during allocation and scheduling). By applying our prototype tools, we have also determined that the use case has significant potential parallelism and will achieve significant speedups through execution on the chosen target architecture (the many-core Kalray MPPA256).